1、

In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义。

互联网摘选

2、

The above examples demonstrate the compositional semantics of CSP& namely how the Parallel construct can be used to compose layered networks from fine-grained stateless components.

以上示例演示了CSP的复合语言&即如何用Parallel构造把细致的无状态的组件组成分层的网络。

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈